#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            2

#define _N                   576 // Nombre de Variables
#define _K                   288 // Nombre de Checks   
#define _M                   1824 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                7
#define DEG_2                6

#define DEG_1_COMPUTATIONS   96
#define DEG_2_COMPUTATIONS   192

#define NB_ITERATIONS        30
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)





#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[1824] ={
/* msg =      0, deg =  7 */     30,    125,    163,    170,    267,    312,    336, 
/* msg =      1, deg =  7 */     31,    126,    164,    171,    268,    313,    337, 
/* msg =      2, deg =  7 */     32,    127,    165,    172,    269,    314,    338, 
/* msg =      3, deg =  7 */     33,    128,    166,    173,    270,    315,    339, 
/* msg =      4, deg =  7 */     34,    129,    167,    174,    271,    316,    340, 
/* msg =      5, deg =  7 */     35,    130,    144,    175,    272,    317,    341, 
/* msg =      6, deg =  7 */     36,    131,    145,    176,    273,    318,    342, 
/* msg =      7, deg =  7 */     37,    132,    146,    177,    274,    319,    343, 
/* msg =      8, deg =  7 */     38,    133,    147,    178,    275,    320,    344, 
/* msg =      9, deg =  7 */     39,    134,    148,    179,    276,    321,    345, 
/* msg =     10, deg =  7 */     40,    135,    149,    180,    277,    322,    346, 
/* msg =     11, deg =  7 */     41,    136,    150,    181,    278,    323,    347, 
/* msg =     12, deg =  7 */     42,    137,    151,    182,    279,    324,    348, 
/* msg =     13, deg =  7 */     43,    138,    152,    183,    280,    325,    349, 
/* msg =     14, deg =  7 */     44,    139,    153,    184,    281,    326,    350, 
/* msg =     15, deg =  7 */     45,    140,    154,    185,    282,    327,    351, 
/* msg =     16, deg =  7 */     46,    141,    155,    186,    283,    328,    352, 
/* msg =     17, deg =  7 */     47,    142,    156,    187,    284,    329,    353, 
/* msg =     18, deg =  7 */     24,    143,    157,    188,    285,    330,    354, 
/* msg =     19, deg =  7 */     25,    120,    158,    189,    286,    331,    355, 
/* msg =     20, deg =  7 */     26,    121,    159,    190,    287,    332,    356, 
/* msg =     21, deg =  7 */     27,    122,    160,    191,    264,    333,    357, 
/* msg =     22, deg =  7 */     28,    123,    161,    168,    265,    334,    358, 
/* msg =     23, deg =  7 */     29,    124,    162,    169,    266,    335,    359, 
/* msg =     24, deg =  7 */     78,    101,    140,    176,    264,    336,    360, 
/* msg =     25, deg =  7 */     79,    102,    141,    177,    265,    337,    361, 
/* msg =     26, deg =  7 */     80,    103,    142,    178,    266,    338,    362, 
/* msg =     27, deg =  7 */     81,    104,    143,    179,    267,    339,    363, 
/* msg =     28, deg =  7 */     82,    105,    120,    180,    268,    340,    364, 
/* msg =     29, deg =  7 */     83,    106,    121,    181,    269,    341,    365, 
/* msg =     30, deg =  7 */     84,    107,    122,    182,    270,    342,    366, 
/* msg =     31, deg =  7 */     85,    108,    123,    183,    271,    343,    367, 
/* msg =     32, deg =  7 */     86,    109,    124,    184,    272,    344,    368, 
/* msg =     33, deg =  7 */     87,    110,    125,    185,    273,    345,    369, 
/* msg =     34, deg =  7 */     88,    111,    126,    186,    274,    346,    370, 
/* msg =     35, deg =  7 */     89,    112,    127,    187,    275,    347,    371, 
/* msg =     36, deg =  7 */     90,    113,    128,    188,    276,    348,    372, 
/* msg =     37, deg =  7 */     91,    114,    129,    189,    277,    349,    373, 
/* msg =     38, deg =  7 */     92,    115,    130,    190,    278,    350,    374, 
/* msg =     39, deg =  7 */     93,    116,    131,    191,    279,    351,    375, 
/* msg =     40, deg =  7 */     94,    117,    132,    168,    280,    352,    376, 
/* msg =     41, deg =  7 */     95,    118,    133,    169,    281,    353,    377, 
/* msg =     42, deg =  7 */     72,    119,    134,    170,    282,    354,    378, 
/* msg =     43, deg =  7 */     73,     96,    135,    171,    283,    355,    379, 
/* msg =     44, deg =  7 */     74,     97,    136,    172,    284,    356,    380, 
/* msg =     45, deg =  7 */     75,     98,    137,    173,    285,    357,    381, 
/* msg =     46, deg =  7 */     76,     99,    138,    174,    286,    358,    382, 
/* msg =     47, deg =  7 */     77,    100,    139,    175,    287,    359,    383, 
/* msg =     48, deg =  7 */    107,    130,    188,    283,    288,    408,    432, 
/* msg =     49, deg =  7 */    108,    131,    189,    284,    289,    409,    433, 
/* msg =     50, deg =  7 */    109,    132,    190,    285,    290,    410,    434, 
/* msg =     51, deg =  7 */    110,    133,    191,    286,    291,    411,    435, 
/* msg =     52, deg =  7 */    111,    134,    168,    287,    292,    412,    436, 
/* msg =     53, deg =  7 */    112,    135,    169,    264,    293,    413,    437, 
/* msg =     54, deg =  7 */    113,    136,    170,    265,    294,    414,    438, 
/* msg =     55, deg =  7 */    114,    137,    171,    266,    295,    415,    439, 
/* msg =     56, deg =  7 */    115,    138,    172,    267,    296,    416,    440, 
/* msg =     57, deg =  7 */    116,    139,    173,    268,    297,    417,    441, 
/* msg =     58, deg =  7 */    117,    140,    174,    269,    298,    418,    442, 
/* msg =     59, deg =  7 */    118,    141,    175,    270,    299,    419,    443, 
/* msg =     60, deg =  7 */    119,    142,    176,    271,    300,    420,    444, 
/* msg =     61, deg =  7 */     96,    143,    177,    272,    301,    421,    445, 
/* msg =     62, deg =  7 */     97,    120,    178,    273,    302,    422,    446, 
/* msg =     63, deg =  7 */     98,    121,    179,    274,    303,    423,    447, 
/* msg =     64, deg =  7 */     99,    122,    180,    275,    304,    424,    448, 
/* msg =     65, deg =  7 */    100,    123,    181,    276,    305,    425,    449, 
/* msg =     66, deg =  7 */    101,    124,    182,    277,    306,    426,    450, 
/* msg =     67, deg =  7 */    102,    125,    183,    278,    307,    427,    451, 
/* msg =     68, deg =  7 */    103,    126,    184,    279,    308,    428,    452, 
/* msg =     69, deg =  7 */    104,    127,    185,    280,    309,    429,    453, 
/* msg =     70, deg =  7 */    105,    128,    186,    281,    310,    430,    454, 
/* msg =     71, deg =  7 */    106,    129,    187,    282,    311,    431,    455, 
/* msg =     72, deg =  7 */      3,    116,    126,    178,    276,    480,    504, 
/* msg =     73, deg =  7 */      4,    117,    127,    179,    277,    481,    505, 
/* msg =     74, deg =  7 */      5,    118,    128,    180,    278,    482,    506, 
/* msg =     75, deg =  7 */      6,    119,    129,    181,    279,    483,    507, 
/* msg =     76, deg =  7 */      7,     96,    130,    182,    280,    484,    508, 
/* msg =     77, deg =  7 */      8,     97,    131,    183,    281,    485,    509, 
/* msg =     78, deg =  7 */      9,     98,    132,    184,    282,    486,    510, 
/* msg =     79, deg =  7 */     10,     99,    133,    185,    283,    487,    511, 
/* msg =     80, deg =  7 */     11,    100,    134,    186,    284,    488,    512, 
/* msg =     81, deg =  7 */     12,    101,    135,    187,    285,    489,    513, 
/* msg =     82, deg =  7 */     13,    102,    136,    188,    286,    490,    514, 
/* msg =     83, deg =  7 */     14,    103,    137,    189,    287,    491,    515, 
/* msg =     84, deg =  7 */     15,    104,    138,    190,    264,    492,    516, 
/* msg =     85, deg =  7 */     16,    105,    139,    191,    265,    493,    517, 
/* msg =     86, deg =  7 */     17,    106,    140,    168,    266,    494,    518, 
/* msg =     87, deg =  7 */     18,    107,    141,    169,    267,    495,    519, 
/* msg =     88, deg =  7 */     19,    108,    142,    170,    268,    496,    520, 
/* msg =     89, deg =  7 */     20,    109,    143,    171,    269,    497,    521, 
/* msg =     90, deg =  7 */     21,    110,    120,    172,    270,    498,    522, 
/* msg =     91, deg =  7 */     22,    111,    121,    173,    271,    499,    523, 
/* msg =     92, deg =  7 */     23,    112,    122,    174,    272,    500,    524, 
/* msg =     93, deg =  7 */      0,    113,    123,    175,    273,    501,    525, 
/* msg =     94, deg =  7 */      1,    114,    124,    176,    274,    502,    526, 
/* msg =     95, deg =  7 */      2,    115,    125,    177,    275,    503,    527, 
/* msg =     96, deg =  6 */     47,     66,    205,    236,    289,    312, 
/* msg =     97, deg =  6 */     24,     67,    206,    237,    290,    313, 
/* msg =     98, deg =  6 */     25,     68,    207,    238,    291,    314, 
/* msg =     99, deg =  6 */     26,     69,    208,    239,    292,    315, 
/* msg =    100, deg =  6 */     27,     70,    209,    216,    293,    316, 
/* msg =    101, deg =  6 */     28,     71,    210,    217,    294,    317, 
/* msg =    102, deg =  6 */     29,     48,    211,    218,    295,    318, 
/* msg =    103, deg =  6 */     30,     49,    212,    219,    296,    319, 
/* msg =    104, deg =  6 */     31,     50,    213,    220,    297,    320, 
/* msg =    105, deg =  6 */     32,     51,    214,    221,    298,    321, 
/* msg =    106, deg =  6 */     33,     52,    215,    222,    299,    322, 
/* msg =    107, deg =  6 */     34,     53,    192,    223,    300,    323, 
/* msg =    108, deg =  6 */     35,     54,    193,    224,    301,    324, 
/* msg =    109, deg =  6 */     36,     55,    194,    225,    302,    325, 
/* msg =    110, deg =  6 */     37,     56,    195,    226,    303,    326, 
/* msg =    111, deg =  6 */     38,     57,    196,    227,    304,    327, 
/* msg =    112, deg =  6 */     39,     58,    197,    228,    305,    328, 
/* msg =    113, deg =  6 */     40,     59,    198,    229,    306,    329, 
/* msg =    114, deg =  6 */     41,     60,    199,    230,    307,    330, 
/* msg =    115, deg =  6 */     42,     61,    200,    231,    308,    331, 
/* msg =    116, deg =  6 */     43,     62,    201,    232,    309,    332, 
/* msg =    117, deg =  6 */     44,     63,    202,    233,    310,    333, 
/* msg =    118, deg =  6 */     45,     64,    203,    234,    311,    334, 
/* msg =    119, deg =  6 */     46,     65,    204,    235,    288,    335, 
/* msg =    120, deg =  6 */     15,     59,    208,    222,    360,    384, 
/* msg =    121, deg =  6 */     16,     60,    209,    223,    361,    385, 
/* msg =    122, deg =  6 */     17,     61,    210,    224,    362,    386, 
/* msg =    123, deg =  6 */     18,     62,    211,    225,    363,    387, 
/* msg =    124, deg =  6 */     19,     63,    212,    226,    364,    388, 
/* msg =    125, deg =  6 */     20,     64,    213,    227,    365,    389, 
/* msg =    126, deg =  6 */     21,     65,    214,    228,    366,    390, 
/* msg =    127, deg =  6 */     22,     66,    215,    229,    367,    391, 
/* msg =    128, deg =  6 */     23,     67,    192,    230,    368,    392, 
/* msg =    129, deg =  6 */      0,     68,    193,    231,    369,    393, 
/* msg =    130, deg =  6 */      1,     69,    194,    232,    370,    394, 
/* msg =    131, deg =  6 */      2,     70,    195,    233,    371,    395, 
/* msg =    132, deg =  6 */      3,     71,    196,    234,    372,    396, 
/* msg =    133, deg =  6 */      4,     48,    197,    235,    373,    397, 
/* msg =    134, deg =  6 */      5,     49,    198,    236,    374,    398, 
/* msg =    135, deg =  6 */      6,     50,    199,    237,    375,    399, 
/* msg =    136, deg =  6 */      7,     51,    200,    238,    376,    400, 
/* msg =    137, deg =  6 */      8,     52,    201,    239,    377,    401, 
/* msg =    138, deg =  6 */      9,     53,    202,    216,    378,    402, 
/* msg =    139, deg =  6 */     10,     54,    203,    217,    379,    403, 
/* msg =    140, deg =  6 */     11,     55,    204,    218,    380,    404, 
/* msg =    141, deg =  6 */     12,     56,    205,    219,    381,    405, 
/* msg =    142, deg =  6 */     13,     57,    206,    220,    382,    406, 
/* msg =    143, deg =  6 */     14,     58,    207,    221,    383,    407, 
/* msg =    144, deg =  6 */     57,    165,    226,    258,    384,    408, 
/* msg =    145, deg =  6 */     58,    166,    227,    259,    385,    409, 
/* msg =    146, deg =  6 */     59,    167,    228,    260,    386,    410, 
/* msg =    147, deg =  6 */     60,    144,    229,    261,    387,    411, 
/* msg =    148, deg =  6 */     61,    145,    230,    262,    388,    412, 
/* msg =    149, deg =  6 */     62,    146,    231,    263,    389,    413, 
/* msg =    150, deg =  6 */     63,    147,    232,    240,    390,    414, 
/* msg =    151, deg =  6 */     64,    148,    233,    241,    391,    415, 
/* msg =    152, deg =  6 */     65,    149,    234,    242,    392,    416, 
/* msg =    153, deg =  6 */     66,    150,    235,    243,    393,    417, 
/* msg =    154, deg =  6 */     67,    151,    236,    244,    394,    418, 
/* msg =    155, deg =  6 */     68,    152,    237,    245,    395,    419, 
/* msg =    156, deg =  6 */     69,    153,    238,    246,    396,    420, 
/* msg =    157, deg =  6 */     70,    154,    239,    247,    397,    421, 
/* msg =    158, deg =  6 */     71,    155,    216,    248,    398,    422, 
/* msg =    159, deg =  6 */     48,    156,    217,    249,    399,    423, 
/* msg =    160, deg =  6 */     49,    157,    218,    250,    400,    424, 
/* msg =    161, deg =  6 */     50,    158,    219,    251,    401,    425, 
/* msg =    162, deg =  6 */     51,    159,    220,    252,    402,    426, 
/* msg =    163, deg =  6 */     52,    160,    221,    253,    403,    427, 
/* msg =    164, deg =  6 */     53,    161,    222,    254,    404,    428, 
/* msg =    165, deg =  6 */     54,    162,    223,    255,    405,    429, 
/* msg =    166, deg =  6 */     55,    163,    224,    256,    406,    430, 
/* msg =    167, deg =  6 */     56,    164,    225,    257,    407,    431, 
/* msg =    168, deg =  6 */     71,     85,    219,    244,    432,    456, 
/* msg =    169, deg =  6 */     48,     86,    220,    245,    433,    457, 
/* msg =    170, deg =  6 */     49,     87,    221,    246,    434,    458, 
/* msg =    171, deg =  6 */     50,     88,    222,    247,    435,    459, 
/* msg =    172, deg =  6 */     51,     89,    223,    248,    436,    460, 
/* msg =    173, deg =  6 */     52,     90,    224,    249,    437,    461, 
/* msg =    174, deg =  6 */     53,     91,    225,    250,    438,    462, 
/* msg =    175, deg =  6 */     54,     92,    226,    251,    439,    463, 
/* msg =    176, deg =  6 */     55,     93,    227,    252,    440,    464, 
/* msg =    177, deg =  6 */     56,     94,    228,    253,    441,    465, 
/* msg =    178, deg =  6 */     57,     95,    229,    254,    442,    466, 
/* msg =    179, deg =  6 */     58,     72,    230,    255,    443,    467, 
/* msg =    180, deg =  6 */     59,     73,    231,    256,    444,    468, 
/* msg =    181, deg =  6 */     60,     74,    232,    257,    445,    469, 
/* msg =    182, deg =  6 */     61,     75,    233,    258,    446,    470, 
/* msg =    183, deg =  6 */     62,     76,    234,    259,    447,    471, 
/* msg =    184, deg =  6 */     63,     77,    235,    260,    448,    472, 
/* msg =    185, deg =  6 */     64,     78,    236,    261,    449,    473, 
/* msg =    186, deg =  6 */     65,     79,    237,    262,    450,    474, 
/* msg =    187, deg =  6 */     66,     80,    238,    263,    451,    475, 
/* msg =    188, deg =  6 */     67,     81,    239,    240,    452,    476, 
/* msg =    189, deg =  6 */     68,     82,    216,    241,    453,    477, 
/* msg =    190, deg =  6 */     69,     83,    217,    242,    454,    478, 
/* msg =    191, deg =  6 */     70,     84,    218,    243,    455,    479, 
/* msg =    192, deg =  6 */     26,     66,    144,    227,    456,    480, 
/* msg =    193, deg =  6 */     27,     67,    145,    228,    457,    481, 
/* msg =    194, deg =  6 */     28,     68,    146,    229,    458,    482, 
/* msg =    195, deg =  6 */     29,     69,    147,    230,    459,    483, 
/* msg =    196, deg =  6 */     30,     70,    148,    231,    460,    484, 
/* msg =    197, deg =  6 */     31,     71,    149,    232,    461,    485, 
/* msg =    198, deg =  6 */     32,     48,    150,    233,    462,    486, 
/* msg =    199, deg =  6 */     33,     49,    151,    234,    463,    487, 
/* msg =    200, deg =  6 */     34,     50,    152,    235,    464,    488, 
/* msg =    201, deg =  6 */     35,     51,    153,    236,    465,    489, 
/* msg =    202, deg =  6 */     36,     52,    154,    237,    466,    490, 
/* msg =    203, deg =  6 */     37,     53,    155,    238,    467,    491, 
/* msg =    204, deg =  6 */     38,     54,    156,    239,    468,    492, 
/* msg =    205, deg =  6 */     39,     55,    157,    216,    469,    493, 
/* msg =    206, deg =  6 */     40,     56,    158,    217,    470,    494, 
/* msg =    207, deg =  6 */     41,     57,    159,    218,    471,    495, 
/* msg =    208, deg =  6 */     42,     58,    160,    219,    472,    496, 
/* msg =    209, deg =  6 */     43,     59,    161,    220,    473,    497, 
/* msg =    210, deg =  6 */     44,     60,    162,    221,    474,    498, 
/* msg =    211, deg =  6 */     45,     61,    163,    222,    475,    499, 
/* msg =    212, deg =  6 */     46,     62,    164,    223,    476,    500, 
/* msg =    213, deg =  6 */     47,     63,    165,    224,    477,    501, 
/* msg =    214, deg =  6 */     24,     64,    166,    225,    478,    502, 
/* msg =    215, deg =  6 */     25,     65,    167,    226,    479,    503, 
/* msg =    216, deg =  6 */    143,    182,    257,    282,    504,    528, 
/* msg =    217, deg =  6 */    120,    183,    258,    283,    505,    529, 
/* msg =    218, deg =  6 */    121,    184,    259,    284,    506,    530, 
/* msg =    219, deg =  6 */    122,    185,    260,    285,    507,    531, 
/* msg =    220, deg =  6 */    123,    186,    261,    286,    508,    532, 
/* msg =    221, deg =  6 */    124,    187,    262,    287,    509,    533, 
/* msg =    222, deg =  6 */    125,    188,    263,    264,    510,    534, 
/* msg =    223, deg =  6 */    126,    189,    240,    265,    511,    535, 
/* msg =    224, deg =  6 */    127,    190,    241,    266,    512,    536, 
/* msg =    225, deg =  6 */    128,    191,    242,    267,    513,    537, 
/* msg =    226, deg =  6 */    129,    168,    243,    268,    514,    538, 
/* msg =    227, deg =  6 */    130,    169,    244,    269,    515,    539, 
/* msg =    228, deg =  6 */    131,    170,    245,    270,    516,    540, 
/* msg =    229, deg =  6 */    132,    171,    246,    271,    517,    541, 
/* msg =    230, deg =  6 */    133,    172,    247,    272,    518,    542, 
/* msg =    231, deg =  6 */    134,    173,    248,    273,    519,    543, 
/* msg =    232, deg =  6 */    135,    174,    249,    274,    520,    544, 
/* msg =    233, deg =  6 */    136,    175,    250,    275,    521,    545, 
/* msg =    234, deg =  6 */    137,    176,    251,    276,    522,    546, 
/* msg =    235, deg =  6 */    138,    177,    252,    277,    523,    547, 
/* msg =    236, deg =  6 */    139,    178,    253,    278,    524,    548, 
/* msg =    237, deg =  6 */    140,    179,    254,    279,    525,    549, 
/* msg =    238, deg =  6 */    141,    180,    255,    280,    526,    550, 
/* msg =    239, deg =  6 */    142,    181,    256,    281,    527,    551, 
/* msg =    240, deg =  6 */     49,     88,    201,    228,    528,    552, 
/* msg =    241, deg =  6 */     50,     89,    202,    229,    529,    553, 
/* msg =    242, deg =  6 */     51,     90,    203,    230,    530,    554, 
/* msg =    243, deg =  6 */     52,     91,    204,    231,    531,    555, 
/* msg =    244, deg =  6 */     53,     92,    205,    232,    532,    556, 
/* msg =    245, deg =  6 */     54,     93,    206,    233,    533,    557, 
/* msg =    246, deg =  6 */     55,     94,    207,    234,    534,    558, 
/* msg =    247, deg =  6 */     56,     95,    208,    235,    535,    559, 
/* msg =    248, deg =  6 */     57,     72,    209,    236,    536,    560, 
/* msg =    249, deg =  6 */     58,     73,    210,    237,    537,    561, 
/* msg =    250, deg =  6 */     59,     74,    211,    238,    538,    562, 
/* msg =    251, deg =  6 */     60,     75,    212,    239,    539,    563, 
/* msg =    252, deg =  6 */     61,     76,    213,    216,    540,    564, 
/* msg =    253, deg =  6 */     62,     77,    214,    217,    541,    565, 
/* msg =    254, deg =  6 */     63,     78,    215,    218,    542,    566, 
/* msg =    255, deg =  6 */     64,     79,    192,    219,    543,    567, 
/* msg =    256, deg =  6 */     65,     80,    193,    220,    544,    568, 
/* msg =    257, deg =  6 */     66,     81,    194,    221,    545,    569, 
/* msg =    258, deg =  6 */     67,     82,    195,    222,    546,    570, 
/* msg =    259, deg =  6 */     68,     83,    196,    223,    547,    571, 
/* msg =    260, deg =  6 */     69,     84,    197,    224,    548,    572, 
/* msg =    261, deg =  6 */     70,     85,    198,    225,    549,    573, 
/* msg =    262, deg =  6 */     71,     86,    199,    226,    550,    574, 
/* msg =    263, deg =  6 */     48,     87,    200,    227,    551,    575, 
/* msg =    264, deg =  6 */     10,    136,    178,    270,    289,    552, 
/* msg =    265, deg =  6 */     11,    137,    179,    271,    290,    553, 
/* msg =    266, deg =  6 */     12,    138,    180,    272,    291,    554, 
/* msg =    267, deg =  6 */     13,    139,    181,    273,    292,    555, 
/* msg =    268, deg =  6 */     14,    140,    182,    274,    293,    556, 
/* msg =    269, deg =  6 */     15,    141,    183,    275,    294,    557, 
/* msg =    270, deg =  6 */     16,    142,    184,    276,    295,    558, 
/* msg =    271, deg =  6 */     17,    143,    185,    277,    296,    559, 
/* msg =    272, deg =  6 */     18,    120,    186,    278,    297,    560, 
/* msg =    273, deg =  6 */     19,    121,    187,    279,    298,    561, 
/* msg =    274, deg =  6 */     20,    122,    188,    280,    299,    562, 
/* msg =    275, deg =  6 */     21,    123,    189,    281,    300,    563, 
/* msg =    276, deg =  6 */     22,    124,    190,    282,    301,    564, 
/* msg =    277, deg =  6 */     23,    125,    191,    283,    302,    565, 
/* msg =    278, deg =  6 */      0,    126,    168,    284,    303,    566, 
/* msg =    279, deg =  6 */      1,    127,    169,    285,    304,    567, 
/* msg =    280, deg =  6 */      2,    128,    170,    286,    305,    568, 
/* msg =    281, deg =  6 */      3,    129,    171,    287,    306,    569, 
/* msg =    282, deg =  6 */      4,    130,    172,    264,    307,    570, 
/* msg =    283, deg =  6 */      5,    131,    173,    265,    308,    571, 
/* msg =    284, deg =  6 */      6,    132,    174,    266,    309,    572, 
/* msg =    285, deg =  6 */      7,    133,    175,    267,    310,    573, 
/* msg =    286, deg =  6 */      8,    134,    176,    268,    311,    574, 
/* msg =    287, deg =  6 */      9,    135,    177,    269,    288,    575
};
#endif

